<html>
<head>
  <title>The Natural C programming language</title>
</head>
<style>
body {
	margin: 0;
	padding: 0;
}

h1 {
	margin: 0;
	padding: 0;
}

div.header {
	background: url('header.png');
	background-repeat: repeat-y;
	margin: 0;
	padding: 10px;
}

div.links {
	background: #93c8ff;
	margin: 0;
	padding: 0.25em 1em;
	text-align: right;
	border-bottom: 0.3em outset;
}

div.links a {	text-decoration:none; font-weight: bold;	}
div.links a:visited {	color: blue;	}

div.content {
	margin: 1em;
	background: white;
}
</style>
<body>

<div class="header">
<a href="index.php" style="text-decoration: none">
<div style="float:left; font-size: 2.25em; color:white; background: black; margin: 0 0.1em; padding: 0.25em 0.25em; border: 2px solid blue;">C&#x266e;</div>
</a>
<div style="padding-left: 250px">
<h1>Natural C</h1>

A more compact, secure, and reliable dialect of the C programming language.
</div>

</div>

<div class="links">
<a href="download.php">Download</a> | 
<a href="docs.php">Documentation</a> |
<a href="svn.php">SVN</a> | 
<a href="bugs.php">Bugs</a> | 
<a href="lists.php">Mailing lists</a> 
</div>

<div class="content">
